Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✓ Formal Verification
Type Theory, Correctness Proofs, Program Analysis, Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144850
posts in
27.9
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
14h
✅
Model Checking
Invariant-Driven
Automated
Testing
arxiv.org
·
1d
🧬
Mutation Testing
Healthcare EDI Transaction
Lifecycles
Embedded with a Multi-Layer Verification Framework to Ensure
Referential
Integrity
jisem-journal.com
·
2h
·
Discuss:
DEV
💓
PHI Accrual
What every computer science major should know
matt.might.net
·
7h
·
Discuss:
Hacker News
🔬
Static Analysis
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
19h
🔗
Dependent Types
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
1d
👻
Phantom Types
extended C*-
algebra
in
nLab
ncatlab.org
·
12h
∘
Category Theory
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
9h
·
Discuss:
Hacker News
λ
Functional Programming
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🧵
Loom
Implementing
constexpr
parameters
using C++26 reflection (kind of)
godbolt.org
·
2h
·
Discuss:
r/cpp
📦
Serde
Differential
Logic
• 15
inquiryintoinquiry.com
·
13h
∘
Category Theory
🔴 Your architecture rules are dying in
Confluence
. Here's how to make them
bite
back.
dev.to
·
2h
·
Discuss:
DEV
🦀
Rust
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🦀
Rust
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
5h
💬
Prompt Engineering
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
13h
·
Discuss:
Hacker News
📏
Linear Types
Why We Built (and
Open-Sourced
) a New
RoughTime
Implementation
blog.sturdystatistics.com
·
6h
·
Discuss:
r/programming
🐅
TigerBeetle Protocol
Best
Practices
for Secure Error
Handling
in Go
blog.jetbrains.com
·
21h
🛡️
Error Handling
TypeScript
Decorators
: From
Basics
to Advanced
slicker.me
·
1d
·
Discuss:
r/typescript
📘
TypeScript
My final year project-Making
Clinical
Ai systems
auditable
github.com
·
21m
·
Discuss:
r/compsci
💓
PHI Accrual
Lytok
2.0: A New Way to Handle Data Structures in
JS/TS
dev.to
·
4h
·
Discuss:
DEV
🔥
DataFusion
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help